Tradeoffs of Highly-Expressive Types
jnkr.tech·9h·
Discuss: Hacker News
🎯Gradual Typing
Forcing ChatGPT to Obey: Minimal and Deterministic Rules
dev.to·15h·
Discuss: DEV
📝ABNF Parsing
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·1d
🎯Performance Proofs
Why not REST?
adam.nels.onl·1d
⚡gRPC
LongCat-Flash, a language model with 560B total parameters, MoE architecture
github.com·3h·
Discuss: Hacker News
📊Count-Min Sketch
A type system for RCL (2024)
ruudvanasseldonk.com·10h·
Discuss: Lobsters, Hacker News
💧Liquid Types
The Worst API Ever Made
caseymuratori.com·22h
👁️System Observability
confusion around websockets dial return parameter type
reddit.com·20h·
Discuss: r/golang
🌐Network Protocols
Towards OpenPGP v6 in PGPainless and Bouncy Castle
warmwasserwerfer.de·18h·
Discuss: Hacker News
🌐DNS over QUIC
Answering some questions about Baba Yaga
eli.li·11h·
Discuss: Hacker News
🎯Dependent Types
Sharing Is Scaring: Linking Cloud File-Sharing to Programming Language Semantics
cs.brown.edu·11h·
Discuss: Hacker News
🔗Archive Combinators
A low-cost protocol enables preparation of magic states and fault-tolerant universal quantum computation
phys.org·2d
⚛️Quantum Error Correction
Quirks of Common Lisp Types
fosskers.ca·5h·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
Embedding MicroHs
thma.github.io·1d
🔗Functional Compilers
SemSR: Semantics aware robust Session-based Recommendations
arxiv.org·2d
🎯Content Recommendation
Elephants for breakfast
bitfieldconsulting.com·1d
🦀Rust Macros
Token Alignment Protocol, Zero Drift for AI Agents
symbiquity.ai·1d·
Discuss: Hacker News
⚡Proof Automation
Bootstrapping a Forth for Art
tia.mat.br·6h·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
Show HN: P2party – Encrypted WebRTC Room URLs
github.com·1d·
Discuss: Hacker News
⚡gRPC
My service was played in Enowars 9: Here is how it went
stoffregen.io·2d·
Discuss: Hacker News
🧪Binary Fuzzing